Nuprl Definition : bool-decider
11,40
postcript
pdf
bool-decider(
b
) == TERMOF{
decidable
assert
:ObjectId, 1:l}(
b
)
latex
Definitions
f
(
a
)
,
decidable
assert
FDL editor aliases
bool-decider
origin